81. Petri Nets :
پدیدآورنده: by Wolfgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA267
.
B996
1985
82. Principles and Practice of Constraint Programming :
پدیدآورنده: edited by Christian Schulte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
83. Principles and Practice of Constraint Programming -- CP '95 :
پدیدآورنده: edited by Ugo Montanari, Francesca Rossi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information storage and retrieval systems.,Logic design.
84. Process Algebra for Parallel and Distributed Processing
پدیدآورنده:
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
85. Progamming Language Implementation and Logic Programming :
پدیدآورنده: edited by Maurice Bruynooghe, Jaan Penjam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
86. Program Specification :
پدیدآورنده: edited by Jørgen Staunstrup.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1982
87. Programming Language Implementation and Logic Programming :
پدیدآورنده: edited by Jan Maluszyński, Martin Wirsing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
88. Programming Languages Implementation and Logic Programming :
پدیدآورنده: edited by P. Deransart, B. Lorho, J. Małuszyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
89. Programming Languages and Systems -- ESOP '94 :
پدیدآورنده: edited by Donald Sannella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
90. Programming Languages and Systems -- ESOP '96 :
پدیدآورنده: edited by Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
91. Programming and Mathematical Method :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
92. Programming in Prolog
پدیدآورنده: by William F. Clocksin, Christopher S. Mellish.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Logic design.
رده :
QA76
.
73
.
P76
B995
1984
93. Programs as Data Objects :
پدیدآورنده: by Harald Ganzinger, Neil D. Jones.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
94. Recent Trends in Data Type Specification :
پدیدآورنده: edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
95. Relations and Graphs :
پدیدآورنده: by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
96. Runtime Verification
پدیدآورنده: edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
97. Semantics:
پدیدآورنده: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
98. Software Composition
پدیدآورنده: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
99. Software Engineering 3
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
100. Software Service and Application Engineering
پدیدآورنده: edited by Maritta Heisel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
